<?php

//echo "2333";
file_put_contents("git.log",json_encode($_POST).PHP_EOL);
echo file_put_contents("git.log", shell_exec('git pull').PHP_EOL, FILE_APPEND);

?>
